ON RELIABILITY OF NON-BRANCHING PROGRAMMES WITH A CONDITIONAL STOP UNRELIABLE OPERATOR IN THE ARBITRARY COMPLETE FINITE BASIS

Grabovskaya Svetlana Mikhaylovna, Senior lecturer, sub-department of discrete mathematics, Penza State University, swetazin@mail.ru

519.718

The article considers a problem of nobranching programs synthesis with a conditional stop-operator in any full finite base.

Boolean functions, nobranching programs, conditional stop-operator, synthesis, reliability.